Un algoritmo para calcular #2SAT

Authors: Marco A. López Medina, J. Raymundo Marcial-Romero, Guillermo De-Ita y José A. Hernández

Research in Computing Science, Vol. 94, pp. 23-32, 2015.